Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
511	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:36 Modal logic Software engineering Logic Non-classical logic Maude system
512	Logic in Milan an informal workshop When: March[removed], 15:00 – 18:00 Where: DSI, Aula Riunioni 2 Piano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-16 04:32:08 Model theory Logic in computer science Non-classical logic Mathematical constructivism Philosophy of mathematics Intuitionistic logic Kripke semantics Denotational semantics Propositional calculus Logic Mathematical logic Mathematics
513	The morning star and Catholic messenger (New Orleans, LA[removed]p 4] Add to Reading List Source URL: chroniclingamerica.loc.gov Language: English - Date: 2010-09-07 13:17:58 Modal logic Non-classical logic Philosophical logic Integral transforms Word square English orthography Mathematical analysis Logic Mathematics
514	Chapter 1 Mobile Resource Guarantees Evaluation Paper Donald Sannella1 , Martin Hofmann2 , David Aspinall1 , Stephen Gilmore1 , Ian Stark1 , Lennart Beringer1 , Hans-Wolfgang Loidl2 , Kenneth MacKenzie1 , Alberto Momigl Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-13 07:50:27 Science Modal logic Mathematical logic Logic Non-classical logic Philosophical logic
515	The PMA and Relativizing Change for Action Update Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:08:21 Boolean algebra Propositional calculus Modal logic Philosophical logic Consistency Well-formed formula Mereology Logic Mathematical logic Non-classical logic
516	/info/www/ext/epa/arch/cis[removed]paper.dvi Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:53:23 Probability interpretations Science Artificial intelligence Logic in computer science Non-classical logic Fuzzy set Segmentation Uncertainty Measurement Logic Mathematical logic Fuzzy logic
517	Fundamenta Informaticae[removed]–[removed]IOS Press Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:51:35 Non-classical logic Logic programming Defeasible logic Inference Non-monotonic logic Æ Stratification First-order logic Logic Mathematical logic Reasoning
518	Annals of Mathematics and Articial Intelligence[removed]) ?{? 1 TALplanner: A Temporal Logic Based Forward Chaining Planner Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:58 Non-classical logic Linear temporal logic Temporal logic Modal logic 8T METAR Action Physics Logic Philosophical logic
519	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
520	Conditional progressive planning: a preliminary report Lars Karlsson Department of Technology Orebro Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:33:22 Artificial intelligence Non-classical logic Linguistic modality Semantics Logic programming Modal operator Epistemology Nils Nilsson Planner Logic Mathematical logic Modal logic

UPDATE